<?php

 /**
  * @package JooS
  * @subpackage Syntax
  */

  require_once "JooS/Syntax/Complex/Transition.php";

 /**
  * Whitespace ::= " " | "\t" | "\n" | "\r";
  **/
  class JooS_Syntax_Common_Whitespace extends JooS_Syntax_Complex_Transition {
    /**
     * @return JooS_Syntax_Complex_Repetition
     */
    public function createRule() {
      $parser = $this->getParser();
      
      return $parser->createSyntax("Complex_Repetition", $parser->createSyntax("Complex_Choose", array(
        $parser->createSyntax("Simple_Symbol", " "),
        $parser->createSyntax("Simple_Symbol", "\t"),
        $parser->createSyntax("Simple_Symbol", "\r"),
        $parser->createSyntax("Simple_Symbol", "\n")
      )));
    }
  }
